INKA : The Next
نویسندگان
چکیده
The INKA system is a rst-order theorem prover with induction based on the explicit induction paradigm. Since 1986 when a rst version of the INKA system was developed there have been many improvements. In this description we will give a short overview of the current system state and its abilities.
منابع مشابه
INKA: Ten years after the first ideas
Ten years ago, we wrote an ICSSEA paper on the use of constraint (logic) programming to automatically generate white-box test data for imperative programs. This work opened the road to several research and development projects on this topic and led us to the design of INKA a software test data generator for C/C++. Ten years later, where are we? This paper proposes to review the advances we made...
متن کاملNeurokinin A depolarizes neurons of bullfrog dorsal root ganglia by suppressing K+ conductances.
The effect of neurokinin A (NKA) on neurons of bullfrog dorsal root ganglia (DRG) in primary culture was examined by using whole-cell patch-clamp methods. Application of NKA (1 microM) depolarized the DRG neurons, resulting in spontaneous firing of action potentials. Under voltage-clamp condition, NKA (3 nM-1 microM) caused an inward current (INKA) associated with decreased membrane conductance...
متن کاملSteroid Induction of a Peptide Hormone Gene Leads to Orchestration of a Defined Behavioral Sequence
At the end of each molt, insects shed the old cuticle by performing preecdysis and ecdysis behaviors. Regulation of these centrally patterned movements involves peptide signaling between endocrine Inka cells and the CNS. In Inka cells, we have identified the cDNA and gene encoding preecdysis-triggering hormone (PETH) and ecdysis-triggering hormone (ETH), which activate these behaviors. Prior to...
متن کاملINKA: An Ink-based Model of Graph Visualization
Common quality metrics of graph drawing have been about the readability criteria, such as small number of edge crossings, small drawing area and small total edge length. Bold graph drawing considers more realistic drawings consisting of vertices as disks of some radius and edges as rectangles of some width. However, the relationship that links these readability criteria with the rendering crite...
متن کاملImpact of Empire Expansion on Household Diet: The Inka in Northern Chile's Atacama Desert
The impact of expanding civilization on the health of American indigenous societies has long been studied. Most studies have focused on infections and malnutrition that occurred when less complex societies were incorporated into more complex civilizations. The details of dietary change, however, have rarely been explored. Using the analysis of starch residues recovered from coprolites, here we ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996